(x_window): Take account of pane widget internal border width.

diff --git a/src/xfns.c b/src/xfns.c
index a8bcc81cc515b4428588bb5ea978a0987033c232..3a5c088338318be6ff3f13311c25aad0c877033f 100644 (file)
--- a/src/xfns.c
+++ b/src/xfns.c
@@ -1939,6 +1939,13 @@ x_window (f, window_prompting, minibuffer_only)
                    NULL);
     menubar_size += ibw;
 
+    if (FRAME_EXTERNAL_MENU_BAR (f))
+      {
+        int ibw;
+        XtVaGetValues (pane_widget, XtNinternalBorderWidth, &ibw, NULL);
+        menubar_size += ibw;
+      }
+
     if (window_prompting & USPosition)
       {
        int left = f->display.x->left_pos;